padding: 0;
entry {
+ margin: 0;
background: none;
border: none;
box-shadow: none;
}
button {
+ margin: 0;
background-image: none;
border-style: none none none solid;
border-color: transparentize($borders_color, 0.7);
// add vertical margins to headerbar entries, buttons and separators to avoid them spanning the whole height
entry,
+ spinbutton,
separator,
button {
margin-top: 6px;
spinbutton:not(.vertical) {
padding: 0; }
spinbutton:not(.vertical) entry, spinbutton:not(.vertical) spinbutton:not(.vertical) {
+ margin: 0;
background: none;
border: none;
box-shadow: none; }
spinbutton:not(.vertical) button,
spinbutton:not(.vertical) .titlebar button.titlebutton,
.titlebar spinbutton:not(.vertical) button.titlebutton {
+ margin: 0;
background-image: none;
border-style: none none none solid;
border-color: rgba(28, 31, 31, 0.3);
min-height: 26px;
padding: 0 5px; }
.titlebar:not(headerbar) entry, .titlebar:not(headerbar) spinbutton:not(.vertical),
+ .titlebar:not(headerbar) spinbutton,
.titlebar:not(headerbar) separator,
.titlebar:not(headerbar) button,
.titlebar:not(headerbar) button.titlebutton,
headerbar entry,
headerbar spinbutton:not(.vertical),
+ headerbar spinbutton,
headerbar separator,
headerbar button,
headerbar button.titlebutton,
spinbutton:not(.vertical) {
padding: 0; }
spinbutton:not(.vertical) entry, spinbutton:not(.vertical) spinbutton:not(.vertical) {
+ margin: 0;
background: none;
border: none;
box-shadow: none; }
spinbutton:not(.vertical) button,
spinbutton:not(.vertical) .titlebar button.titlebutton,
.titlebar spinbutton:not(.vertical) button.titlebutton {
+ margin: 0;
background-image: none;
border-style: none none none solid;
border-color: rgba(157, 157, 153, 0.3);
min-height: 26px;
padding: 0 5px; }
.titlebar:not(headerbar) entry, .titlebar:not(headerbar) spinbutton:not(.vertical),
+ .titlebar:not(headerbar) spinbutton,
.titlebar:not(headerbar) separator,
.titlebar:not(headerbar) button,
.titlebar:not(headerbar) button.titlebutton,
headerbar entry,
headerbar spinbutton:not(.vertical),
+ headerbar spinbutton,
headerbar separator,
headerbar button,
headerbar button.titlebutton,